#ifndef STATE_TERMINATED_H
#define STATE_TERMINATED_H

#include "state.h"

class STATE_TERMINATED : public State
{
public:
    STATE_TERMINATED();
    ~STATE_TERMINATED();
    int check_transition_event_initialize() override;
    int check_transition_event_terminate() override;
    int check_transition_event_error() override;
    int perform_transition_event_initialize(Agent *sub) override;
    int perform_transition_event_terminate(Agent *sub) override;
    int perform_transition_event_error(Agent *sub) override;
};

#endif // STATE_TERMINATED_H
